Introduction To Propositional Logic Part 1